Optimal control of timed continuous Petri nets via explicit MPC
نویسندگان
چکیده
In this paper we deal with the problem of controlling timed continuous Petri nets in order to reach a nal steady state con guration while minimizing a quadratic performance index The formulation of a discrete time linear positive model with dynamic or state based constraints on the control input enables us to design a state feedback control law based on explicit model predictive control eMPC The eMPC partitions the state space into polytopes an a ne state feedback control law is uniquely associated to each polytope while the on line phase of the approach consists in evaluating the current region and consequently the optimal control law
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملOptimal stationary behavior for a class of timed continuous Petri nets
In this paper, we consider a deterministic timed continuous Petri net model where conflicts at places are solved by using stationary routing parameters. We show how to compute the stationary firing rate for all transitions via linear programming, so as to determine the optimal routing parameters that maximize user-defined linear functions of the firing rates. Finally, we discuss the relations w...
متن کاملAn Application for the Control of Stochastic Petri nets via Fluidification Approach
Petri nets are frequently used for modeling and analysis of discrete event systems. Similar to other modeling formalisms for discrete systems, it suffers from state explosion. Fluidification can be used to overcome this difficulty yielding fluid approximation of original Petri nets in the sense of behaviours and properties. This models are called continuous Petri nets. In this work, stochastic ...
متن کاملUsing Interval Petri Nets and Timed Automata for Diagnosis of Discrete Event Systems (DES)
A discrete event system (DES) is a dynamic system that evolves in accordance with the abrupt occurrence, at possibly unknown irregular intervals, of physical events. Because of the special nature of these systems, different tools are currently used for their analysis, design and modeling. The main focus of this paper is the presentation of a new modeling approach of Discrete Event Systems. The ...
متن کاملA Dioid Linear Algebra Approach to Study a Class of Continuous Petri Nets
Continuous Event Graphs (CEGs), a subclass of Continuous Petri Nets, are defined as the limiting cases of timed event graphs and Timed Event Multigraphs. A set of dioid algebraic linear equations will be inferred as a novel method of analyzing a special class of CEG, if treated the cumulated token consumed by transitions as state-variables, endowed the monotone nondecreasing functions pointwise...
متن کامل